Modeling of immediate vs. delayed data communications: from AADL to UML Marte
نویسندگان
چکیده
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile where semantic issues can be explicitly and formally described. As a full-size exercise we deal here with the modeling of immediate and delayed data communications in AADL. It actually reflects an important issue in RT/E model semantics: a propagation of immediate communications may result in a combinatorial loop, with ill-defined behavior; introduction of delays may introduce races, which have to be controlled. We describe here the abilities of MARTE in this respect.
منابع مشابه
Mapping the MARTE UML profile to AADL
CAT, the Consumption Analysis Toolbox, used with an AADL editor like OSATE allows for system-level power and energy consumption estimation. For MARTE users, such a tool is very valuable. This is why building a bridge from MARTE to AADL was essential. Transforming models is the solution that was adopted. This is why a MARTE to AADL mapping was needed. In this paper, we will present our mapping t...
متن کاملA Third Blockini El Blockinbased O Organ Onal Confer
There is a growing research activity around the use of metaheuristic search techniques (e.g., genetic algorithms) in software engineering, for example to support test case generation. This is often referred to as search-based software engineering and is the subject of an international conference every year. This presentation will reflect on several years of research, involving several collabora...
متن کاملA Comparison and Evaluation of Real-Time Software Systems Modeling Languages
A model-driven approach to real-time software systems development enables the conceptualization of software, fostering a more thorough understanding of its often complex architecture and behavior while promoting the documentation and analysis of concerns common to real-time embedded systems such as scheduling, resource allocation, and performance. Several modeling languages have been developed ...
متن کاملUML Profile for MARTE: Time Model and CCSL
This 90 minutes tutorial gives a basic introduction to the UML Profile for MARTE (Modeling and Analysis of Real-Time and Embedded systems) adopted by the Object Management Group. After a brief introduction to the UML profiling mechanism, we give a broad overview of the MARTE Profile. Then, the tutorial shall focus on the time model of MARTE and its companion language CCSL (Clock Constraint Spec...
متن کاملAn Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance and Control Unit Software
Timing-related issues need to be managed from early design phase for successful development of GCU (Guidance and Control Unit) software. UML/MARTE behavioral models can specify timing information in the multiple viewpoints. Among UML behavioral models, UML timing diagrams are useful to show timing information intuitively. We propose an approach to constructing timing diagrams with MARTE annotat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007